(TeX-add-style-hook "def"
 (lambda ()
    (TeX-add-symbols
     '("Ex" 3)
     '("Eu" 2)
     "und"
     "ove"
     "p"
     "bb"
     "k"
     "tK"
     "tS"
     "indi"
     "vs"
     "vv"
     "essinf"
     "esssup"
     "Cb"
     "Lb"
     "P"
     "Q"
     "G"
     "T"
     "mub"
     "Xb"
     "Yb"
     "Zb"
     "Ub"
     "Gammab"
     "Zh"
     "Uh"
     "Gammah"
     "Ac"
     "Bc"
     "Cc"
     "Dc"
     "Ec"
     "Fc"
     "Gc"
     "Hc"
     "Ic"
     "Jc"
     "Kc"
     "Lc"
     "Mc"
     "Nc"
     "Oc"
     "Pc"
     "Qc"
     "Rc"
     "Sc"
     "Tc"
     "Uc"
     "Vc"
     "Wc"
     "Xc"
     "Yc"
     "Zc"
     "Xt"
     "Yt"
     "Zt"
     "ep"
     "reff"
     "be"
     "ee"
     "beq"
     "eeq"
     "b"
     "e"
     "ri"
     "inte"
     "x"
     "eqlaw"
     "lra"
     "conv"
     "proof"
     "diag"
     "And"
     "pourtout"
     "Pas"
     "no"
     "lb"
     "i"
     "ii"
     "iii"
     "iv"
     "eps"
     "vp"
     "red"
     "green"
     "blue"
     "IW"
     "Il"
     "Imu"
     "Inu"
     "Inub"
     "Hlambda"
     "D"
     "Dd"
     "ckp"
     "ck"
     "ckX"
     "Xp"
     "Yp"
     "Zp"
     "Up"
     "Gammap"
     "Ypb"
     "Zpb"
     "Upb"
     "Yhp"
     "Zhp"
     "Gammapb"
     "br"
     "CE"
     "CA"
     "Esp"
     "Espt"
     "Esph"
     "Espp"
     "Et"
     "Var"
     "Pro"
     "mod"
     "scap"
     "einf"
     "esup"
     "argmax"
     "Tr"
     "NA"
     "HKP"
     "HNF"
     "HFa"
     "HFb"
     "HL"
     "NAw"
     "NAs"
     "NAr"
     "EcondG"
     "po"
     "bpo"
     "pos"
     "bpos"
     "dbover"
     "dboverG"
     "Hsigma"
     "HK"
     "Hg"
     "HD"
     "HO"
     "HKt"
     "tx"
     "utx"
     "Ehp"
     "Ep"
     "ti"
     "tip"
     "tim"
     "tauip"
     "taui"
     "tauim"
     "ip"
     "im"
     "DW"
     "tha"
     "tax"
     "ta"
     "thb"
     "H"
     "sS"
     "dO"
     "cG"
     "cD"
     "cK"
     "cC"
     "cO"
     "cA"
     "cN"
     "cU"
     "cP"
     "ch"
     "argch"
     "argsh"
     "sh"
     "ue"
     "Xe"
     "Ye"
     "tYe"
     "Ze"
     "tZe"
     "te"
     "leftB"
     "rightB")))

